Abstract Machine of the Programming Language for Educational Purposes SYNCHRO

The article is devoted to a number of solutions for organizing work with memory in educational languages and programming systems aimed at teaching the preparation multi-threaded programs over shared memory. consideration was carried out within framework SYNCHRO language purposes, which made it possible analyze variants such without limitations typical traditional manufacturing tools devices standard systems. gives clear formulation an abstract machine diagram command system that allows you define behavior program as distributed from threads interacting terms access values variables located de-vice mechanisms by individual processes, are sequence execution, some requests memory, described. focus on convenience debugging small used introduce concurrency problems learning process, where pace learners’ under-standing more important than achieving efficiency performance. solution this problem useful when studying methods, well history languages, comparing paradigms, potential schemes models used, assessing level novelty being created, creating technique measuring different characteristics choosing criteria practicality created programs. When commands machine, principles functional were taken into account popular paradigm stage preparing prototypes From these principles, conclusion drawn consequences allow successfully select elementary instructions support working style data immutability their transactional processing. For tasks programming, ability ensure correctness completeness productivity received This path building reliable secure software.